A Graphic Language Based on Timing Diagrams
نویسندگان
چکیده
We present a new graphic language which can serve, for instance, as models for VLSI and control systems. Its primitives are based on standard timing diagrams, and this is a great advantage over other formalisms since designers can rapidly master it. The semantics is rigorously defined in the formalism of the theory of automata on infinite words. Using this formalism, we are able to give a rather precise upperbound on the expressive power of our graphic language in terms of a language theoretic measure, the concatenation level. A detailed example is presented.
منابع مشابه
A Comparison Study of The Pen and The Mouse in Editing Graphic Diagrams
We report the results of an experiment comparing the merits of the pen and the mouse as drawing devices. For this study a pen-based graphic diagram editor equipped with a shape recognition algorithm was developed on GO’s PenPoint operating system. A commercially available drawing program on NeXT was used for mouse-based editing. Twelve CS students were chosen as subjects and asked to draw four ...
متن کاملPattern Approach to Build Traditional Graphic Frameworks
Architecture of a light weight three dimensional graphic framework model using traditional graphic methods is presented in this paper. The traditional graphics concepts are redesigned and remodeled for present requirements and development technologies. A pattern approach is adapted for presenting the model. Several pattern frames are suggested based on this model to suit new development methodo...
متن کاملTiming Diagrams: Formalization and Algorithmic Verification
Timing diagrams are popular in hardware design. They have been formalized for use in reasoning tasks, such as computer-aided veriication. These eeorts have largely treated timing diagrams as interfaces to established notations for which veriication is decidable; this has restricted timing diagrams to expressing only regular language properties. This paper presents a timing diagram logic capable...
متن کاملUsing Discourse Structure-Based Graphic Organizers (GOs) in Developing EFL Learners’ Reading Comprehension
This study investigated the effectiveness of discourse structure-based graphic organizers (GOs) on students’ reading comprehension. Seventy learners were randomly divided in two equal experimental and control groups. They took a pre-test of reading comprehension. Then the experimental group analyzed the textual structures based on the frameworks of GOs and discussed the cohesive and coherent de...
متن کاملSpecification and Verification of System-Level Hardware Designs using Timing Diagrams
In this paper we present a novel approach to the specification and verification of system-level hardware designs. It is based on Timing Diagrams, a graphical specification language with an intuitive semantics, which is especially appropriate for the description of asynchronous distributed systems such as hardware designs. Timing Diagrams and their semantics are formally defined based on a trans...
متن کامل